HyperPro - An integrated documentation environment for CLP
نویسندگان
چکیده
The purpose of this paper is to present some functionalities of the HyperPro System. HyperPro is a hypertext tool which allows to develop Constraint Logic Programming (CLP) together with their documentation. The text editing part is not new and is based on the free software Thot. A HyperPro program is a Thot document written in a report style. The tool is designed for CLP but it can be adapted to other programming paradigms as well. Thot o ers navigation and editing facilities and synchronized static document views. HyperPro has new functionalities such as document exportations, dynamic views (projections), indexes and version management. Projection is a mechanism for extracting and exporting relevant pieces of code program or of document according to speci c criteria. Indexes are useful to nd the references and occurrences of a relation in a document, i.e., where In A. Kusalik (ed), Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE’01), December 1, 2001, Paphos, Cyprus. COmputer Research Repository (http://www.acm.org/corr/), ** your cs.PL/0111046 or cs.SE/0111046**; whole proceedings: cs.PL/0111042.
منابع مشابه
Developing an Integrated Process for Organizational Experience Documentation: Experience Management Approach
The purpose of this study is to develop an integrated experience documentation process as a basis for designing and implementing experience documentation in organizations. The research method used was qualitative which is a type of meta-study known as meta-synthesis. After designing the research questions, systematic search was carried out among researches and 28 were selected based on purposef...
متن کاملModelling 0-1 Problems in CLP(PB)
Many practical problems involve constraints in 0-1 variables. We apply the constraint logic programming language CLP(PB) to model and reason about 0-1 problems. Given a set of possibly non-linear 0-1 constraints, the solver of CLP(PB) computes an equivalent set of extended clauses. By exploiting the metaprogramming facilities of the logic programming environment, we are able to deal with arbitr...
متن کاملAALBORG UNIVERSITY The Vision and the Work in the HyperPro Project
This paper is written to give an overview of past, ongoing and future work in the area of hypertext and programming environments at Aalborg University. In the past, the main emphasis of our work has been on data modeling and storage aspects of hypertext. Our current research focuses more directly at programming environments. Our hypothesis is that the node-link representation, inspired by hyper...
متن کاملThe Vicinity of Program Documentation Tools
Program documentation plays a vital role in almost all programming processes. Program documentation flows between separate tools of a modularized environment, and in between the components of an integrated development environment as well. In this paper we discuss the flow of program documentation between program development tools. In the central part of the paper we introduce a mapping of docum...
متن کاملVisualizing Solutions with Viewers
Visualization can be a powerful aid for learning a programming language. It may be used to reinforce central language concepts. In the context of Prolog and CLP-languages, however, most approaches to visualization aim at procedural aspects. Instead of explaining what a relation describes, visualization is used to animate procedural machinery. In this paper we present approaches to visualizing a...
متن کامل